A Topological Framework for the Specification and the Simulation of Discrete Dynamical Systems
نویسندگان
چکیده
MGS is an experimental programming language for the modeling and the simulation of discrete dynamical systems. The modeling approach is based on the explicit specification of the interaction structure between the system parts. This interaction structure is adequately described by topological notions. The topological approach enables a unified view on several computational mechanisms initially inspired by biological or chemical processes (Gamma and the CHAM, Lindenmayer systems, P systems and cellular automata). The expressivity of the language is illustrated by the modeling of a diffusion limited aggregation process on a wide variety of spatial domain: from cayley graphs to arbi-
منابع مشابه
On the Notion of Fuzzy Shadowing Property
This paper is concerned with the study of fuzzy dynamical systems. Let (XM ) be a fuzzy metric space in the sense of George and Veeramani. A fuzzy discrete dynamical system is given by any fuzzy continuous self-map dened on X. We introduce the various fuzzy shad- owing and fuzzy topological transitivity on a fuzzy discrete dynamical systems. Some relations between this notions have been proved.
متن کاملEntropy operator for continuous dynamical systems of finite topological entropy
In this paper we introduce the concept of entropy operator for continuous systems of finite topological entropy. It is shown that it generates the Kolmogorov entropy as a special case. If $phi$ is invertible then the entropy operator is bounded with the topological entropy of $phi$ as its norm.
متن کاملEigenvalue Assignment Of Discrete-Time Linear Systems With State And Input Time-Delays
Time-delays are important components of many dynamical systems that describe coupling or interconnection between dynamics, propagation or transport phenomena, and heredity and competition in population dynamics. The stabilization with time delay in observation or control represents difficult mathematical challenges in the control of distributed parameter systems. It is well-known that the stabi...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2004